Computation of Elementary Siphons in Petri Nets For Deadlock Control

نویسنده

  • Daniel Yuh Chao
چکیده

When designing liveness-enforcing Petri net supervisors, unlike other techniques, Li et al. added control places and arcs to a plant net model for its elementary siphons only, greatly reducing the structural complexity of the controlled system. Their method, however, suffers from the expensive computation of siphons. We propose a new T-characteristic vector z to compute strict minimal siphons (SMS) for SPR (systems of simple sequential processes with resources) in an algebraic fashion. For a special subclass of SPR, called SPR (simple SPR), we discover that elementary siphons can be constructed from elementary circuits where all places are resources. Thus, the set of elementary siphons can be computed without the knowledge of all SMS. We also propose to construct characteristic T-vectors h by building a graph to find dependent siphons without their computations.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Elementary Siphons of Petri Nets and Deadlock Control in FMS

For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturing system (FMS) which is developing the theory of efficient strict minimal siphons of an S3PR. Analyzer of Petri net models and their P-invariant analysis, and deadlock control are...

متن کامل

A survey of siphons in Petri nets

Petri nets have gained increasing usage and acceptance as a basic model of asynchronous concurrent systems since 1962. As a class of structural objects of Petri nets, siphons play a critical role in the analysis and control of systems modeled with Petri nets. This paper surveys the state-of-the-art siphon theory of Petri nets including basic concepts, computation of siphons, controllability con...

متن کامل

Comparison of Two Deadlock Prevention Methods for Different-size Flexible Manufacturing Systems

The competition for limited resources can produce deadlocks in flexible manufacturing systems (FMS). Petri nets are an effective way to model, analyze, and control deadlocks in FMS. Our previous work proposes elementary siphons as an important concept in investigating the deadlock problems in Petri nets. This paper presents an elementary siphon-based deadlock prevention method. It then performs...

متن کامل

A Petri Net Approach Based Elementary Siphons Supervisor for Flexible Manufacturing Systems

This paper presents an approach to constructing a class of an SPR net for modeling, simulation and control of processes occurring in the flexible manufacturing system (FMS) used based elementary siphons of a Petri net. Siphons are very important to the analysis and control of deadlocks of FMS that is significant objectives of siphons. Petri net models in the efficiency structure analysis, and u...

متن کامل

Flexible Manufacturing System Design and Optimization using Petri Net-based Elementary Siphons

A computer simulation system, which is based-siphon Petri net for control of concurrent processes of the reusable resources, that is mainly aimed to provide guidelines for control and management engineering of flexible manufacturing systems (FMSs) is presented in this work. We present an important technique for the analysis of siphon Petri net (PN) based on structural analysis, control, and sim...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Comput. J.

دوره 49  شماره 

صفحات  -

تاریخ انتشار 2006